<?php

class haxe_io_Eof {
	public function __construct() { 
	}
	function __toString() { return 'haxe.io.Eof'; }
}
